退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用高效内存建模验证嵌入式存储器系统
机译:TSV:适用于嵌入式系统的新型节能存储完整性验证方案
机译:用于十进制浮点算术系统建模和验证的内存有效规范数据结构
机译:TSOtool:使用内存一致性模型验证内存系统的程序
机译:使用高效内存建模验证嵌入式内存系统
机译:增强的符号仿真,用于验证嵌入式内存系统和数据路径。
机译:通过临床工作记忆测试验证的特定于形式的工作记忆系统
机译:有限内存测试中嵌入式内存的高效建模方法
机译:有限内存检查中嵌入式内存的高效建模
机译:绑定内存检查中嵌入式内存的有效建模
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。